Optimal. Leaf size=53 \[ -\frac{a}{3 x^3}+\frac{1}{3} b d \cos (c) \text{CosIntegral}\left (d x^3\right )-\frac{1}{3} b d \sin (c) \text{Si}\left (d x^3\right )-\frac{b \sin \left (c+d x^3\right )}{3 x^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.101523, antiderivative size = 53, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 6, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.375, Rules used = {14, 3379, 3297, 3303, 3299, 3302} \[ -\frac{a}{3 x^3}+\frac{1}{3} b d \cos (c) \text{CosIntegral}\left (d x^3\right )-\frac{1}{3} b d \sin (c) \text{Si}\left (d x^3\right )-\frac{b \sin \left (c+d x^3\right )}{3 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 3379
Rule 3297
Rule 3303
Rule 3299
Rule 3302
Rubi steps
\begin{align*} \int \frac{a+b \sin \left (c+d x^3\right )}{x^4} \, dx &=\int \left (\frac{a}{x^4}+\frac{b \sin \left (c+d x^3\right )}{x^4}\right ) \, dx\\ &=-\frac{a}{3 x^3}+b \int \frac{\sin \left (c+d x^3\right )}{x^4} \, dx\\ &=-\frac{a}{3 x^3}+\frac{1}{3} b \operatorname{Subst}\left (\int \frac{\sin (c+d x)}{x^2} \, dx,x,x^3\right )\\ &=-\frac{a}{3 x^3}-\frac{b \sin \left (c+d x^3\right )}{3 x^3}+\frac{1}{3} (b d) \operatorname{Subst}\left (\int \frac{\cos (c+d x)}{x} \, dx,x,x^3\right )\\ &=-\frac{a}{3 x^3}-\frac{b \sin \left (c+d x^3\right )}{3 x^3}+\frac{1}{3} (b d \cos (c)) \operatorname{Subst}\left (\int \frac{\cos (d x)}{x} \, dx,x,x^3\right )-\frac{1}{3} (b d \sin (c)) \operatorname{Subst}\left (\int \frac{\sin (d x)}{x} \, dx,x,x^3\right )\\ &=-\frac{a}{3 x^3}+\frac{1}{3} b d \cos (c) \text{Ci}\left (d x^3\right )-\frac{b \sin \left (c+d x^3\right )}{3 x^3}-\frac{1}{3} b d \sin (c) \text{Si}\left (d x^3\right )\\ \end{align*}
Mathematica [A] time = 0.0866847, size = 48, normalized size = 0.91 \[ -\frac{a-b d x^3 \cos (c) \text{CosIntegral}\left (d x^3\right )+b d x^3 \sin (c) \text{Si}\left (d x^3\right )+b \sin \left (c+d x^3\right )}{3 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.072, size = 0, normalized size = 0. \begin{align*} \int{\frac{a+b\sin \left ( d{x}^{3}+c \right ) }{{x}^{4}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] time = 1.13674, size = 77, normalized size = 1.45 \begin{align*} \frac{1}{6} \,{\left ({\left (\Gamma \left (-1, i \, d x^{3}\right ) + \Gamma \left (-1, -i \, d x^{3}\right )\right )} \cos \left (c\right ) -{\left (i \, \Gamma \left (-1, i \, d x^{3}\right ) - i \, \Gamma \left (-1, -i \, d x^{3}\right )\right )} \sin \left (c\right )\right )} b d - \frac{a}{3 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.70861, size = 197, normalized size = 3.72 \begin{align*} -\frac{2 \, b d x^{3} \sin \left (c\right ) \operatorname{Si}\left (d x^{3}\right ) -{\left (b d x^{3} \operatorname{Ci}\left (d x^{3}\right ) + b d x^{3} \operatorname{Ci}\left (-d x^{3}\right )\right )} \cos \left (c\right ) + 2 \, b \sin \left (d x^{3} + c\right ) + 2 \, a}{6 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{a + b \sin{\left (c + d x^{3} \right )}}{x^{4}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.11348, size = 134, normalized size = 2.53 \begin{align*} \frac{{\left (d x^{3} + c\right )} b d^{2} \cos \left (c\right ) \operatorname{Ci}\left (d x^{3}\right ) - b c d^{2} \cos \left (c\right ) \operatorname{Ci}\left (d x^{3}\right ) -{\left (d x^{3} + c\right )} b d^{2} \sin \left (c\right ) \operatorname{Si}\left (d x^{3}\right ) + b c d^{2} \sin \left (c\right ) \operatorname{Si}\left (d x^{3}\right ) - b d^{2} \sin \left (d x^{3} + c\right ) - a d^{2}}{3 \, d^{2} x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]